-
1 отрицание эквивалентности
Русско-английский большой базовый словарь > отрицание эквивалентности
-
2 отрицание эквивалентности
1) Mathematics: nonequivalent to2) Information technology: nonequivalenceУниверсальный русско-английский словарь > отрицание эквивалентности
-
3 отрицание эквивалентности
Русско-французский политехнический словарь > отрицание эквивалентности
-
4 отрицание эквивалентности
Dictionnaire russe-français universel > отрицание эквивалентности
-
5 отрицание эквивалентности
Русско-английский исловарь по машиностроению и автоматизации производства > отрицание эквивалентности
-
6 отрицание эквивалентности
Русско-английский словарь по вычислительной технике и программированию > отрицание эквивалентности
-
7 отрицание эквивалентности
• negace ekvivalence -
8 элемент отрицания эквивалентности
1. nonequivalence element2. nonequivalent-to elementэлемент эквивалентности; элемент одноименности — biconditional element
Русско-английский большой базовый словарь > элемент отрицания эквивалентности
См. также в других словарях:
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ДВИЖЕНИЕ — в широком смысле всякое изменение, в узком изменение положения тела в пространстве. Д. стало универсальным принципом в философии Гераклита («все течет»). Возможность Д. отрицалась Парменидом и Зеноном из Элей. Аристотель подразделил Д. на… … Философская энциклопедия
Формальная логика — Формальная логика конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… … Википедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
Тильда — Пунктуация апостроф (’ ) … Википедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия